<!--
Copyright (c) 2011 The Chromium Authors. All rights reserved.
Use of this source code is governed by a BSD-style license that can be
found in the LICENSE file.
-->
<!DOCTYPE html>
<html>
<head>
<link rel="stylesheet" type="text/css" href="options.css"></link>
<link rel="stylesheet" type="text/css" href="grid.css"></link>
<title>DevTools Save Extension Options</title>
</head>
<body>
<script src="file_mapping.js"></script>
<script src="grid.js"></script>
<script src="mapping_editor.js"></script>
</body>
</html>
